1. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده : edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer simulation.,Computer system performance.,Software engineering.
2. Messung, Modellierung und Bewertung von Rechensystemen :
پدیدآورنده : herausgegeben von U. Herzog, M. Paterok.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer simulation.,Computer system performance.
رده :
QA76
.
5
H473
1987
